181. New Trends in Quantum Systems in Chemistry and Physics

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Chemistry, Physical and theoretical.,Chemistry.,Chemistry.,Logic, Symbolic and mathematical.,Physical organic chemistry.,Computer Applications in Chemistry.,Mathematical Logic and Foundations.

182. Nominalistic Systems

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Philosophy (General),Science -- Philosophy.

رده :
B731
.
B976
1970

183. Non-Standard analysis

پدیدآورنده :

موضوع : Mathematical analysis,Logic, Symbolic and mathematical

۳ نسخه از این کتاب در ۳ کتابخانه موجود است.

184. Non-standard analysis

المؤلف:

المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع: ، Nonstandard mathematical analysis,، Logic, Symbolic and mathematical

رده :
QA
299
.
82
.
R6
1974

185. Non-standard analysis

المؤلف:

المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع: Mathematical analysis - Congresses,Logic, symbolic and mathematical - Congresses

رده :
515
R658
1974

186. Nonstandard logics and nonstandard metrics in physics

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Nonstandard mathematical analysis,، Logic, Symbolic and mathematical,، Metric spaces,، Mathematical physics

رده :
QC
20
.
7
.
A5
.
H66
1995

187. Ontology and the Iogisfc analysis of language; an enquiry into the contemporary views on Universals. Rev ed

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)

موضوع: ، Semantics )Philosophy(,، Analysis )Philosophy(,، Logic, Symbolic and mathematical

رده :
B
840
.
K813

188. Ontology and the logistic analysis of language. An enquiry into the contemporary views on universals

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)

موضوع: ، Semantics )Philosophy(,، Analysis )Philosophy(,، Logic, Symbolic and mathematical

رده :
B
840
.
K813

189. Pacific Symposium on Biocomputing 2004 :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Biology-- Computer simulation, Congresses.,Biology-- Mathematical models, Congresses.,Molecular biology-- Computer simulation, Congresses.,Molecular biology-- Mathematical models, Congresses.,Biology-- Computer simulation.,Biology-- Mathematical models.,Molecular biology-- Computer simulation.,Molecular biology-- Mathematical models.,NATURE-- Reference.,SCIENCE-- Life Sciences-- Biology.,SCIENCE-- Life Sciences-- General.

رده :
QH323
.
5
.
P33
2004eb

190. Pacific Symposium on Biocomputing 2002, Kauai, Hawaii, 3-7 January 2002 /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Biology-- Computer simulation, Congresses.,Biology-- Mathematical models, Congresses.,Molecular biology-- Computer simulation, Congresses.,Molecular biology-- Mathematical models, Congresses.,Biology-- Computer simulation.,Biology-- Mathematical models.,Molecular biology-- Computer simulation.,Molecular biology-- Mathematical models.,NATURE-- Reference.,SCIENCE-- Life Sciences-- Biology.,SCIENCE-- Life Sciences-- General.

رده :
QH323
.
5
.
P33
2002eb

191. Power Algebras over Semirings

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Algebra.,Computational complexity.,Logic, Symbolic and mathematical.,Mathematics.

192. Practical Applications of Computational Intelligence Techniques

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.

193. Premises and conclusions: Symbolic logic for legal analysis

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)

موضوع: Law - Methodology,Logic, symbolic and mathematical,Symbolism in law

رده :
K
,
213
,.
R59
,
1997

194. Principles of logic and logic programming /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Logic programming.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Programmation logique.,COMPUTERS-- Programming Languages-- General.,Logic programming.,Logic, Symbolic and mathematical.,Logisch programmeren.

رده :
QA76
.
63
.
M473
1996eb

195. Proceedings of the International Conference on Artificial Neural Networks :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

196. Propositions, functions, and analysis : selected essays on Russell's philosophy

المؤلف:

المکتبة: (طهران)

موضوع: ، Russell, Bertrand, 2781-0791,History -- 02th century ، Analysis )Philosophy(,History -- 02th century ، Logic, Symbolic and mathematical

رده :
B
1649
.
R94H94

197. Propositions, functions, and analysis :selected essays on Russell's philosophy

المؤلف:

المکتبة: كتابخانه دانشگاه مفيد (قم)

موضوع: ، Russell, Bertrand,2781-0791,History ، Analysis )Philosophy( - 02th century,History ، Logic, Symbolic and mathematical - 02th century

رده :
B1649
.
R94
H94
2005

198. Qualitative spatial and temporal reasoning

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Logic, Symbolic and mathematical.,Qualitative reasoning.,Space and time-- Mathematical models.,Spatial analysis (Statistics)

رده :
Q339
.
25
.
L54
2012eb

199. Quantitative analysis methods for substantive analysts

المؤلف:

المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع: ، Mathematical statistics,، Logic, Symbolic and mathematical,، Set theory,، Reasoning

رده :
QA
276
.
D42

200. Quantitative analysis methods for substantive analysts

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Mathematical statistics,، Logic, Symbolic and mathematical,، Set theory,، Reasoning

رده :
QA
276
.
D42